Pantelidis proves